#include <inc/x86.h>
#include <user/ulib.h>

#include <inc/memlayout.h>
#include <inc/mmu.h>

void test_main(void);

void e100_driver_main(void);

void
umain(void)
{
	 if (user_init())
	 {
		  kprintf("user init failed!\n");
		  while (1);
	 }

	 e100_driver_entry();

	 kprintf("now spin.\n");
     while (1) ;
}

void
uentry(void)
{
	 umain();
}
